$\forall$$a$, $b$, $c$:$\mathbb{Z}$. imax($a$;imax($b$;$c$)) = imax(imax($a$;$b$);$c$) $\in$ $\mathbb{Z}$